POET: a scripting language for applying parameterized source-to-source program transformations
نویسندگان
چکیده
منابع مشابه
POET: a scripting language for applying parameterized source-to-source program transformations
We present POET, a scripting language designed for applying advanced program transformations to code in arbitrary programming languages as well as building adhoc translators between these languages. We have used POET to support a large number of compiler optimizations, including loop interchange, parallelization, blocking, fusion/fission, strength reduction, scalar replacement, SSE vectorizatio...
متن کاملA Case for Interactive Source-to-Source Transformations
Many advances have been made in off-line generative and restructuring tools and in online systems for program development by refinement. However, manual large-scale modification or generation of source code continues to be tedious and error-prone. Integrating scriptable source-to-source program transformations into development environments will assist developers with this overwhelming task. We ...
متن کاملSpi the Nestor Library: a Tool for Implementing Fortran Source to Source Transformations the Nestor Library: a Tool for Implementing Fortran Source to Source Transformations the Nestor Library: a Tool for Implementing Fortran Source to Source Transformations
We describe Nestor a library to easily manipulate Fortran pro grams through a high level internal representation based on C classes Nestor is a research tool that can be used to quickly im plement source to source transformations The input of the li brary is Fortran Fortran and HPF Its current out put supports the same languages plus some dialects such as Pe tit OpenMP CrayMP Compared to SUIF t...
متن کاملImproving Program Acceptability Through Source Code Transformations
What does it mean for software to be acceptable? The question has an inherently human element. Unlike functional specifications, security requirements, or performance bounds, which may be documented and measured against that documentation, acceptability is simply a determination of whether the software meets the user’s needs [76]. The latter frequently subsumes the former: if software does not ...
متن کاملSource-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators. (Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU)
Since the beginning of the 2000s, the raw performance of processors stopped its exponential increase. The modern graphic processing units (GPUs) have been designed as array of hundreds or thousands of compute units. The GPUs' compute capacity quickly leads them to be diverted from their original target to be used as accelerators for general purpose computation. However programming a GPU e cient...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 2011
ISSN: 0038-0644
DOI: 10.1002/spe.1089